The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

Given the fact that many people use Wikipedia, we should ask: Can we trust it? The empirical evidence suggests that Wikipedia articles are sometimes quite good but that they vary a great deal. As such, it is wrong to ask for a monolithic verdict on Wikipedia. Interacting with Wikipedia involves assessing where it is likely to be reliable and where not. I identify five strategies that we use to assess claims from other sources and argue that, to a greater of (...) lesser degree, Wikipedia frustrates all of them. Interacting responsibly with something like Wikipedia requires new epistemic methods and strategies. (shrink)

If there is to be any progress in the debate about what sort of positive moral status Kant can give the emotions, we need a taxonomy of the terms Kant uses for these concepts. It used to be thought that Kant had little room for emotions in his ethics. In the past three decades, Marcia Baron, Paul Guyer, Barbara Herman, Nancy Sherman, Allen Wood and others have argued otherwise. Contrary to what a cursory reading of the Groundwork may indicate, Kant (...) thinks the emotions play an important role in the moral life. I want to extend the work of Baron, Guyer, Herman, Sherman and Wood in three ways. First, I will set out in a diagram Kant's taxonomy of feelings and emotions. Agreement on such a taxonomy should make it easier to evaluate debates about Kant and the emotions. Second, I will focus on a certain subclass of emotions – reason-caused affects – that have previously received little attention, even from these Kant scholars. Third, these scholars base much of their defence of Kant on his later works – especially the Metaphysics of Morals and the Anthropology – but Kant's fairly rich taxonomy of the emotions, including reason-caused affects, is clearly in place at least as early as the Critique of Judgment . I believe that the Critique of Judgment is an importantly ignored resource for understanding the moral role of the emotions for Kant. The third Critique makes positive, philosophically interesting claims about the emotions and morality. Kant emphasizes certain roles for emotions in this work that he develops to the same extent nowhere else. Nevertheless, the Critique of Judgment goes all but unmentioned by many who write on these issues. In what follows, I will defend as many of my claims as possible using the third Critique. (shrink)

ABSTRACT This essay defends a qualified version of Quine's thesis of universal revisability against Chalmers's recent conditionalization-based criticisms of it. It is argued that an embodied view of cognitive processing undermines Chalmers's account of nonrevisable a priori justification, which presupposes that concepts prefigure the confirmation-relations into which they enter, so as to make such relations rationally accessible to anyone who possesses those concepts. On the view developed here, bodily interaction with the world and the accompanying subconscious processing can change subjects' (...) dispositions to apply their concepts, in ways that are not rationally accessible to them, even given a complete description of that interaction, and do not constitute a change in the content of the concepts involved. Thus a subject who treats a proposition as indefeasibly justified a priori might nevertheless significantly lower her credence in that proposition, in ways that are not accessible to the subject on the basis of her grasp of the content of the relevant concepts. This discussion has further implications concerning the role of the a priori in the philosophical enterprise. (shrink)

Philip Kitcher develops the Galilean Strategy to defend realism against its many opponents. I explore the structure of the Galilean Strategy and consider it specifically as an instrument against constructive empiricism. Kitcher claims that the Galilean Strategy underwrites an inference from success to truth. We should resist that conclusion, I argue, but the Galilean Strategy should lead us by other routes to believe in many things about which the empiricist would rather remain agnostic. 1 Target: empiricism 2 The Galilean Strategy (...) 3 Strengthening the argument 4 Success and truth 5 Conclusion. (shrink)

Spinoza's use of the phrase “sui iuris” in the Tractatus Politicus gives rise to the following paradox. On the one hand, one is said to be sui iuris to the extent that one is rational; and to the extent that one is rational, one will steadfastly obey the laws of the state. However, Spinoza also states that to the extent that one adheres to the laws of the state, one is not sui iuris, but rather stands under the power [sub (...) potestate] of the state (TP 3/5). It seems, then, that to the extent that one is sui iuris, one will not, in fact, be sui iuris. In this paper, I offer an interpretation of Spinoza's notion of being sui iuris that enables us to overcome this paradox and sheds light on Spinoza's relationship to the republican tradition. I work towards this goal by distinguishing between two ways in which Spinoza uses the locution, which correspond to two different conceptions of power: potentia and potestas. This distinction not only allows us to save Spinoza from internal inconsistency, it also enables us to see one important way in which Spinoza stands outside of the republican tradition, since he conceives of liberty not as constituted by independence, or citizenship in a res publica, but as being sui iuris in the first sense described above: being powerful. (shrink)

Aristotle’s views on the choiceworthiness of friends might seem both internally inconsistent and objectionably instrumentalizing. On the one hand, Aristotle maintains that perfect friends or virtue friends are choiceworthy and lovable for their own sake, and not merely for the sake of further ends. On the other hand, in Nicomachean Ethics IX.9, Aristotle appears somehow to account for the choiceworthiness of such friends by reference to their utility as sources of a virtuous agent’s robust self-awareness. I examine Aristotle’s views on (...) the utility and choiceworthiness of friends, and offer a novel reading of Nicomachean Ethics IX.9. On this reading, Aristotle accepts a version of instrumental conditionalism about final value, that is, the thesis that goods (including friends) can be choiceworthy for their own sake (i.e., possess final or end value) at least partly on account of their instrumental properties. In articulating what sort of instrumental conditionalism it is reasonable to attribute to Aristotle, I argue that Aristotle appeals to the utility of perfect friends as part of a broadly material causal account of why such friends are choiceworthy for their own sake. On this reading, perfect friends are not choiceworthy for the sake of their utility in eliciting self-awareness; rather, their choiceworthiness for their own sake is (at least partly) realized in, or constituted by, their conduciveness to the virtuous agent’s self-awareness. This reading, I argue, frees Aristotle from the charge of inconsistency: Aristotle can appeal to the conduciveness of perfect friends to the virtuous agent’s self-awareness as a way of explaining why such friends are choiceworthy for their own sake. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. Burgess and G. (...) Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

This paper will argue that the order and the unity of St. Thomas Aquinas’s five ways can be elucidated through a consideration of St. Thomas’s appropriation of an Avicennian insight that he used to order and unify the wisdom of the Aristotelian and Abrahamic philosophical traditions towards the existence of God. I will begin with a central aporia from Aristotle’s Metaphysics. Aristotle says that the science of first philosophy has three different theoretical vectors: ontology, aitiology, and theology. But how can (...) all three be united into a single Aristotelian science? In his Metaphysics of the Healing, Avicenna resolved the impasse by taking the ontological vector as the subject of metaphysics. He then integrated the question of the four first causes into the penultimate stage of his demonstration for the existence of God, thereby placing aitiological and theological questions among the ultimate concerns of a unified Aristotelian metaphysics. In the five ways, St. Thomas integrated Avicenna’s Aristotelian search for the first four causes into the last four of his five ways, by showing that each of the four aitiological orders terminate in an ultimate first cause that we call God. Finally, by appending the proof from the Physics to the beginning of the five ways, St. Thomas was able to show that the ultimate aim of both natural philosophy and metaphysics is the divine first principle, which is the beginning and subject of sacra doctrina. (shrink)

One approach to science treats science as a cognitive accomplishment of individuals and defines a scientific community as an aggregate of individual inquirers. Another treats science as a fundamentally collective endeavor and defines a scientist as a member of a scientific community. Distributed cognition has been offered as a framework that could be used to reconcile these two approaches. Adam Toon has recently asked if the cognitive and the social can be friends at last. He answers that they probably cannot, (...) posing objections to the would-be rapprochement. We clarify both the animosity and the tonic proposed to resolve it, ultimately arguing that worries raised by Toon and others are uncompelling. (shrink)

A con-reason is a reason which plays a role in motivating and explaining an agent's behaviour, but which the agent takes to count against the course of action taken. Most accounts of motivating reasons in the philosophy of action do not allow such things to exist. In this essay, I pursue two aims. First, I argue that, whatever metaphysical story we tell about the relation between motivating reasons and action, con- reasons need to be acknowledged, as they play an explanatory (...) role not played by pro- reasons. Second, I respond to an argument recently developed by David-Hillel Ruben to the effect that a causal theory of action – still known as ‘the standard story’ – cannot account for con- reasons. His argument attempts to show that a fundamental principle of the causal theory cannot be reconciled with the role con- reasons play in a certain kind of imagined case. I first argue that a causal theorist is not, in fact, committed to the problematic. (shrink)

In the Preface of his 'Proslogion', Anselm narrates its origin in a particular event in his life and delineates the argument of the work as a whole. In chapter 1, Anselm enacts a meditation that attempts to resolve the puzzle of his fallen-but-striving human existence. This paper argues that these opening sections of the 'Proslogion' are an indispensable preparation for understanding Anselm’s famous argument in chapters 2-4 as well as the remainder of the work, especially insofar as these sections establish (...) the crucial pattern of thinking—the “logic” of faith seeking understanding—that Anselm employs in his treatment of God. (shrink)

Phrase structure trees have a hierarchical structure. In many subjects, most notably in {\bf taxonomy} such tree structures have been studied using ultrametrics. Here syntactical hierarchical phrase trees are subject to a similar analysis, which is much simpler as the branching structure is more readily discernible and switched. The occurrence of hierarchical structure elsewhere in linguistics is mentioned. The phrase tree can be represented by a matrix and the elements of the matrix can be represented by triangles. The height at (...) which branching occurs is not prescribed in previous syntactic models, but it is by using the ultrametric matrix. In other words the ultrametric approach gives a complete description of phrase trees, unlike previous approaches. The ambiguity of which branching height to choose, is resolved by postulating that branching occurs at the lowest height available. An ultrametric produces a measure of the complexity of sentences: presumably the complexity of sentences increases as a language is acquired so that this can be tested. All ultrametric triangles are equilateral or isosceles. Here it is shown that \={X} structure implies that there are no equilateral triangles. Restricting attention to simple syntax a minimum ultrametric distance between lexical categories is calculated. A matrix constructed from this ultrametric distance is shown to be different than the matrix obtained from features. It is shown that the definition of {\sc c-command} can be replaced by an equivalent ultrametric definition. The new definition invokes a minimum distance between nodes and this is more aesthetically satisfying than previous varieties of definitions. From the new definition of {\sc c-command} follows a new definition of of the central notion in syntax namely {\sc government}. (shrink)

Enactivism has the potential to provide a sense of teleology in purpose-directed action, but without violating the principles of efficient causation. Action can be distinguished from mere reaction by virtue of the fact that some systems are self-organizing. Self-organization in the brain is reflected in neural plasticity, and also in the primacy of motivational processes that initiate the release of neurotransmitters necessary for mental and conscious functions, and which guide selective attention processes. But in order to flesh out the enactivist (...) approach in a way that is plausible and not merely an epiphenomenon, it is necessary to confront the problem of causal closure in a serious way. Atoms and molecules in the brain do not violate the normal causal principles that govern them in other contexts. The theory of self-organizing dynamical systems must be developed in a way that is compatible with causal closure rather than contradicting it. (shrink)

Human cloning until recently has been considered to belong to the domain of science fiction; now it is a tangible possibility, a hopeful as well as a fearsome one. One of the fears that necessarily come along with it is about the peril cloning might represent for human uniqueness, since the clones are expected to be identical to their prototypes; this would unavoidably compromise moral agents’ right to a unique identity. In this paper I will put under examination the argument (...) against cloning that is based upon the right to a unique identity; I will argue that cloning represents no actual threat for anybody’s unique identity, therefore this argument is futile. I will also support the view that the so-called right to a unique identity is not as indisputable as to serve as the basis of a moral argument against human reproductive cloning. (shrink)

The paper argues that Sartre’s work as both a literary critic and social philosopher is deeply indebted to his early commitment to phenomenology. The first part of the paper examines the nature of reading and writing in the account of literary meaning that is presented in the transitional text, 'Qu’est-ce que la littérature?' While acknowledging the political turn that occurs in Sartre’s work, we then discuss how the theme of history emerges in the later essay, 'Questions de méthode,' as one (...) that opens up a “double reading” of human motivation. Our conclusion maintains that the Marxist phase of Sartre’s work is based on the hermeneutical notion of comprehension, which provides an anthropological grounding for his existential philosophy. (shrink)

I explore Aristotle’s account in the Nicomachean Ethics of how agents attain self-awareness through contemplation. I argue that Aristotle sets up an account of self-awareness through contemplating friends in Books VIII-IX that completes itself in Book X’s remarks on theoretical contemplation. I go on to provide an account of how contemplating the divine, on Aristotle’s view, elicits self-awareness.

El presente trabajo de Alex Ibarra Peña recoge los resultados de una investigación cuyo tema es la constitución de un campo de estudios ligado a la filosofía analítica en Chile. El autor se propone una tarea informativa y crítica en la que cifra la novedad de su propuesta. En otros términos, la suya es una labor de rescate, de algunos filósofos y corrientes de pensamiento relegados en las narraciones hegemónicas de la institucionalización de la filosofía en Chile y una tarea (...) que busca corregir el papel asignado a Chile en las visiones panorámicas de mayor circulación sobre la emergencia de la filosofía analítica en nuestro continente. En el cruce de estos dos vectores radica la novedad de la empresa de Ibarra Peña: proponer una visión más ajustada de la recepción de los filósofos analíticos en Chile. En nuestra reseña comentamos los núcleos centrales del trabajo y proponemos algunas hiótesis sobre los conflictos internos al campo cultural que subyacen a las opciones realizadas por el autor. Para finalizar indicamos lo que nos parece ser una falencia del trabajo: un estudio de la constitución de la filosofía analística como campo de estudios no debería dejar de tener en cuenta que el énfasis en la delimitación de la cientificidad por la filosofía analítica tenía en los años 60 y 70 adversarios concretos en el marxismo y el psicoanálisis. (shrink)

Recently it has been argued that autocatalytic theory could be applied to the origin of culture. Here possible application to a theory of meaning in the philosophy of language, called radical interpretation, is commented upon and compared to previous applications.

It is argued that colour name strategy, object name strategy, and chunking strategy in memory are all aspects of the same general phenomena, called stereotyping, and this in turn is an example of a know-how representation. Such representations are argued to have their origin in a principle called the minimum duplication of resources. For most the subsequent discussions existence of colour name strategy suffices. It is pointed out that the BerlinA- KayA universal partial ordering of colours and the frequency of (...) traffic accidents classified by colour are surprisingly similar; a detailed analysis is not carried out as the specific colours recorded are not identical. Some consequences of the existence of a name strategy for the philosophy of language and mathematics are discussed: specifically it is argued that in accounts of truth and meaning it is necessary throughout to use real numbers as opposed to bi-valent quantities; and also that the concomitant label associated with sentences should not be of unconditional truth, but rather several real-valued quantities associated with visual communication. The implication of real-valued truth quantities is that the Continuum Hypothesis of pure mathematics is side-stepped, because real valued quantities occur ab initio. The existence of name strategy shows that thought/sememes and talk/phonemes can be separate, and this vindicates the assumption of thought occurring before talk used in psycho-linguistic speech production models. (shrink)

This paper examines the processes involved in attempting to capture the subtlest aspects of nature by the scientific method and argues on this basis that nature is fundamentally elusive and may resist grasping by the methods of science. If we wish to come to terms with this resistance, then a shift in the direction of taking direct experience into account may be necessary for science’s future complete development.

Thirteen essays in this volume explore and investigate diverse contemporary philosophicla themes and issues...

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

The verb 'imagine' admits of perspectival modification: we can imagine things from above, from a distant point of view, or from the point of view of a Russian. But in such cases, there need be no person, either real or imagined, who is above or distant from what is imagined, or who has the point of view of a Russian. We call this the puzzle of perspectival displacement. This paper sets out the puzzle, shows how it does not just concern (...) language, but also states of imagining themselves, and then presents a solution. The solution draws on the idea that many reports of imagining conceal a distinctive kind of question, and such concealed questions have an extra argument place for (what we will call) an experiencer from whose perspective things are imagined. This solution has a range of advantages over other proposals in the literature, and helps to advance two debates concerning perspectival engagement with fiction. (shrink)

Vendler’s :161–173, 1979) puzzle about imagination is that the sentences ‘Imagine swimming in that water’ and ‘Imagine yourself swimming in that water’ seem at once semantically different and semantically the same. They seem semantically different, since the first requires you to imagine ’from the inside’, while the second allows you to imagine ’from the outside.’ They seem semantically the same, since despite superficial dissimilarity, there is good reason to think that they are syntactically and lexically identical. This paper sets out (...) the puzzle and offers a novel solution. Our proposal is that, just as there is knowledge-wh, there is also imagining-wh and that the inside/outside distinction Vendler points to is properly understood as a distinction within imagining-wh. In particular, to imagine swimming from the inside is to imagine what it feels like to swim, while to imagine swimming from the outside is to imagine what it looks like to swim. We show that this proposal is well grounded in both the semantics and syntax of ‘imagine.’ We also argue it makes better sense than its rivals of the data Vendler found so puzzling. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Susan Schneider (2019) has proposed two new tests for consciousness in AI (artificial intelligence) systems, the AI Consciousness Test and the Chip Test. On their face, the two tests seem to have the virtue of proving satisfactory to a wide range of consciousness theorists holding divergent theoretical positions, rather than narrowly relying on the truth of any particular theory of consciousness. Unfortunately, both tests are undermined in having an ‘audience problem’: Those theorists with the kind of architectural worries that motivate (...) the need for such tests should, on similar grounds, doubt that the tests establish the existence of genuine consciousness in the AI in question. Nonetheless, the proposed tests constitute progress, as they could find use by some theorists holding fitting views about consciousness and perhaps in conjunction with other tests for AI consciousness. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

In this paper I present an empirical solution to the puzzle of Macbeth's dagger. The puzzle of Macbeth's dagger is the question of whether, in having his fatal vision of a dagger, Macbeth sees a dagger. I answer this question by addressing a more general one: the question of whether perceptual verbs are intensional transitive verbs (ITVs). I present seven experiments, each of which tests a collection of perceptual verbs for one of the three features characteristic of ITVs. One of (...) these features is Nonexistence: the failure of sentences involving transitive verbs to entail the existence of their direct objects. The experiments reveal that with respect to all three of these features, "see" behaves much more like a paradigmatically extensional verb than an intensional one. But surprisingly, unlike "see", "perceive" behaves much more like a paradigmatically intensional verb. This shows that the category of perceptual verbs is not uniform with respect to the features of intensionality; while Macbeth does not see a dagger, he may still perceive one. (shrink)

This paper argues that the concept and role of ‘institutional racism’ in contemporary discussions of race should be reconsidered. It starts by distinguishing between ‘intrinsic institutional racism’, which holds that institutions are racist in virtue of their constitutive features, and ‘extrinsic institutional racism’, which holds that institutions are racist in virtue of their negative effects. It accepts intrinsic institutional racism, but argues that a ‘disparate impact’ conception of extrinsic conception faces a number of objections, the most serious being that it (...) has no plausible account of what it is that makes extrinsically racist institutions racist. It also argues that claims about the explanatory indispensability of institutional racism are overstated (individual racism is at least as important), critiques structural approaches to racial inequality, and suggests that there is reason to doubt whether institutional reform can provide us with all that morality may require in the racial domain. (shrink)

Following neo-Aristotelians Alasdair MacIntyre and Martha Nussbaum, we claim that humans are story-telling animals who learn from the stories of diverse others. Moral agents use rational emotions, such as compassion which is our focus here, to imaginatively reconstruct others’ thoughts, feelings and goals. In turn, this imaginative reconstruction plays a crucial role in deliberating and discerning how to act. A body of literature has developed in support of the role narrative artworks (i.e. novels and films) can play in allowing us (...) the opportunity to engage imaginatively and sympathetically with diverse characters and scenarios in a safe protected space that is created by the fictional world. By practising what Nussbaum calls a ‘loving attitude’, her version of ethical attention, we can form virtuous habits that lead to phronesis (practical wisdom). In this paper, and taking compassion as an illustrative focus, we examine the ways that students’ moral education might usefully develop from engaging with narrative artworks through Philosophy for Children (P4C), where philosophy is a praxis, conducted in a classroom setting using a Community of Inquiry (CoI). We argue that narrative artworks provide useful stimulus material to engage students, generate student questions, and motivate philosophical dialogue and the formation of good habits which, in turn, supports the argument for philosophy to be taught in schools. (shrink)

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)

Mathematicians often describe the importance of well-developed intuition to productive research and successful learning. But neither education researchers nor philosophers interested in epistemic dimensions of mathematical practice have yet given the topic the sustained attention it deserves. The trouble is partly that intuition in the relevant sense lacks a usefully clear characterization, so we begin by offering one: mature intuition, we say, is the capacity for fast, fluent, reliable and insightful inference with respect to some subject matter. We illustrate the (...) role of mature intuition in mathematical practice with an assortment of examples, including data from a sequence of clinical interviews in which a student improves upon initially misleading covariational intuitions. Finally, we show how the study of intuition can yield insights for philosophers and education theorists. First, it contributes to a longstanding debate in epistemology by undermining epistemicism, the view that an agent’s degree of objectual understanding is determined exclusively by their knowledge, beliefs and credences. We argue on the contrary that intuition can contribute directly and independently to understanding. Second, we identify potential pedagogical avenues towards the development of mature intuition, highlighting strategies including adding imagery, developing associations, establishing confidence and generalizing concepts. (shrink)